const spacename_high_light_dom = 'high_light_dom';

export { spacename_high_light_dom };
